Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. in Kevin Lano eds. UML Semantics and its Applications. Wiley, 2009.

Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundamenta Informaticae, Vol. 95(1), pages 103–128, 2009.

Luis Barbosa and Sun Meng. Bringing Class Diagrams to Life. Innovations in Systems and Software Engineering, Vol. 6 (1-2), pages 91-98, 2010.

Sun Meng. Services and Contracts: Coalgebraically. Vol. 212 of ENTCS, pages 207-223, 2008.

Sun Meng. Pre-Galois Connection on Coalgebras for Generic Component Refinement. Electronic Notes in Theoretical Computer Science. Vol.207: 203-217, 2008.

Sun Meng, Farhad Arbab and Christel Baier. Synthesis of Reo circuits from scenario-based interaction specifications. Science of Computer Programming. Vol. 76(8), pages 651-680, 2011.

Sun Meng，Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten. Connectors as Designs: Modeling, Refinement and Test Case Generation. In Science of Computer Programming. vol. 77(7-8), pages 799-822, 2012.

此处不再更新，请到http://www.math.pku.edu.cn/teachers/sunm/pub.html查询最新论著信息。